es{-}E{-}interface(${\it es}$;$X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$e$:es{-}E(${\it es}$)$\mid$ $\uparrow$($e$ $\in_{b}$ $X$)\}